
#include <stdarg.h>
#include <config.h>

int vsnprintf(char *, size_t, const char *, va_list);


